знак конгруэнции


знак конгруэнции
знак конґруе́нції

Русско-украинский политехнический словарь. 2013.

Смотреть что такое "знак конгруэнции" в других словарях:

  • АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …   Математическая энциклопедия

  • Арифметические знаки — символические обозначения, при посредстве которых указываются арифметические действия над данными числами. Знаком сложения служит +, например 3+5 равно 8; знаком вычитания , например 5 3 равно 2; для умножения существуют два равносильных знака: × …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ — раздел геометрии, в к ром изучаются геометрич. образы, в первую очередь кривые и поверхности, методами математич. анализа. Обычно в Д. г. изучаются свойства кривых и поверхностей в малом, т. е. свойства сколь угодно малых их кусков. Кроме того, в …   Математическая энциклопедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия